证明：A*A+B*B+2>=2(A+B)

A^2+B^2+2-2(A+B)=(A^2-2A+1)+(B^2-2B+1)=(A-1)^2+(B-1)^2>=0
所以：A*A+B*B+2>=2(A+B)

证明：分析法（从结论往前推）
A²+B²+2≥2(A+B)
A²+B²+2-2(A+B)≥0
(A²-2A+1)+(B²-2B+1)≥0
(A-1)²+(B-1)²≥0
显然，最后一式成立
而上面的每一步都是可逆的
所以A²+B²+2≥2(A+B)成立，证毕。